Планарный граф

Изображение графа $G = (V,E)$ на поверхности $\pi$ - пара биекций $\phi: V \to \pi, \psi: E \to \Pi_{\phi}$, где $\Pi_{\phi}$ - множество непересекающихся кривых с концевыми точками в множестве $\pi$. Если $\pi$ - плоскость, то изображение графа называется **плоским** (или **плоским графом**).

Граф называется **планарным**, если он имеет плоское изображение (изоморфен некоторому плоскому графу).